The cones and foci proof technique for timed transition systemsVAN DER ZWAAG, Mark B.Information processing letters. 2001, Vol 80, Num 1, pp 33-40, issn 0020-0190Article

The cones and foci proof technique for timed transition systemsVAN DER ZWAAG, Mark B.Report - Software engineering. 2000, Num 38, pp 1-11, issn 1386-369XArticle

An introduction to program and thread algebraPONSE, Alban; VAN DER ZWAAG, Mark B.Lecture notes in computer science. 2006, pp 445-458, issn 0302-9743, isbn 3-540-35466-2, 1Vol, 14 p.Conference Paper

Belnap's logic and conditional compositionPONSE, Alban; VAN DER ZWAAG, Mark B.Theoretical computer science. 2007, Vol 388, Num 1-3, pp 319-336, issn 0304-3975, 18 p.Article

The logic of ACPPONSE, Alban; VAN DER ZWAAG, Mark B.Report - Software engineering. 2002, Num 7, pp 1-32, issn 1386-369XArticle

Branching time and orthogonal bisimulation equivalenceBERGSTRA, Jan A; PONSE, Alban; VAN DER ZWAAG, Mark B et al.Theoretical computer science. 2003, Vol 309, Num 1-3, pp 313-355, issn 0304-3975, 43 p.Article

Branching time and orthogonal bisimulation equivalenceBERGSTRA, Jan A; PONSE, Alban; VAN DER ZWAAG, Mark B et al.Report - Software engineering. 2000, Num 35, pp 1-38, issn 1386-369XArticle

A semantics of communicating reactive objects with timingHOOMAN, Jozef; VAN DER ZWAAG, Mark B.International journal on software tools for technology transfer (Print). 2006, Vol 8, Num 2, pp 97-112, issn 1433-2779, 16 p.Conference Paper